منابع مشابه
Improving PARMA trailing
Taylor introduced a variable binding scheme for logic variables in his PARMA system, that uses cycles of bindings rather than the linear chains of bindings used in the standard WAM representation. Both the HAL and dProlog languages make use of the PARMA representation in their Herbrand constraint solvers. Unfortunately, PARMA’s trailing scheme is considerably more expensive in both time and spa...
متن کاملCombining an Improvement to PARMA Trailing with Analysis in HAL
Trailing of bindings in the PARMA variable representation is expensive in time and space. We present two schemes that lower its cost: the first is a technique that halves the space cost of trailing in PARMA. It can be used with both conditional and unconditional trailing. It is illustrated and evaluated in the context of dProlog and in the Mercury backend of HAL. The second scheme combines a va...
متن کاملcollegato di Parma.
We update the theoretical predictions for the tt̄ production cross-section at the Tevatron, taking into account the most recent determinations of systematic uncertainties in the extraction of the proton parton densities. CERN-TH/2003-054 March 6, 2003 This work was supported in part by the EU Fourth Framework Programme “Training and Mobility of Researchers”, Network “Quantum Chromodynamics and t...
متن کاملPARMA: A Predicate Argument Aligner
We introduce PARMA, a system for crossdocument, semantic predicate and argument alignment. Our system combines a number of linguistic resources familiar to researchers in areas such as recognizing textual entailment and question answering, integrating them into a simple discriminative model. PARMA achieves state of the art results on an existing and a new dataset. We suggest that previous effor...
متن کاملSelf-similarity of trailing vortices Self-similarity of trailing vortices
Trailing vortices have been repeatedly shown to exhibit a remarkably robust selfsimilarity independent of the Reynolds number and upstream boundary conditions. The collapse of the inner-scaled circulation profiles of a trailing vortex has even been previously demonstrated for the cases of highly unsteady and turbulent vortex systems, as well as for vortices which were incompletely developed. A ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theory and Practice of Logic Programming
سال: 2006
ISSN: 1471-0684,1475-3081
DOI: 10.1017/s1471068405002620